0361c01a179e5ff62c39744d4ab9a8613c5931e1,util/json/src/main/java/jetbrains/jetpad/json/JsonUtil.java,JsonUtil,escape,#String#,29
Before Change
for (int i = 0; i < s.length(); i++) {
char c = s.charAt(i);
if (SPECIAL_CHARS.contains(c)) {
builder.append(ESCAPED_SPECIAL_CHARS.get(SPECIAL_CHARS.indexOf(c)));
} else {
builder.append(c);
}
After Change
for (int i = 0; i < s.length(); i++) {
char c = s.charAt(i);
int index = Chars.indexOf(SPECIAL_CHARS, c);
if (index != -1) {
builder.append(ESCAPED_SPECIAL_CHARS[index]);
} else {
builder.append(c);